Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher.
Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?
Some links on this page may take you to non-federal websites. Their policies may differ from this site.
-
Responsive teaching, a pedagogical approach that foregrounds and builds instruction on student ideas, requires teachers to attend to and build on student resources. However, teachers’ interpretations of student resources, especially during live teaching, remain understudied. In this study, we examined in-the-moment interpretations, teachers’ real-time sense-making of and reflection on students’ epistemic and emotional resources, and explored how teachers’ in-themoment interpretations can support their responsive teaching talk moves and knowledge. Employing a convergent mixed-methods research design, we designed and implemented a generative artificial intelligence (AI)-supported virtual simulation as a pedagogical sandbox for 40 preservice teachers (PSTs) to practice teaching with virtual students, interpret student resources, and act on these interpretations in real time. Linear regression analysis was conducted and found that PSTs’ in-the-moment interpretations are significant predictors of their responsive teaching talk moves and knowledge. Qualitative thematic analysis identified themes that corroborated and extended the findings of the quantitative component. Implications for teacher education and simulation design are discussed.more » « lessFree, publicly-accessible full text available December 1, 2026
-
This paper presents the design ofForge, a tool for teaching formal methods gradually. Forge is based on the widely-used Alloy language and analysis tool, but contains numerous improvements based on more than a decade of experience teaching Alloy to students. Although our focus has been on the classroom, many of the ideas in Forge likely also apply to training in industry. Forge offers aprogression of languagesthat improve the learning experience by only gradually increasing in expressive power. Forge supportscustom visualizationof its outputs, enabling the use of widely-understood domain-specific representations. Finally, Forge provides a variety oftesting featuresto ease the transition from programming to formal modeling. We present the motivation for and design of these aspects of Forge, and then provide a substantial evaluation based on multiple years of classroom use.more » « less
An official website of the United States government

Full Text Available